<html>
<head><meta charset="utf-8"><title>meeting 2019.04.11 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html">meeting 2019.04.11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="163135469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135469">(Apr 11 2019 at 20:43)</a>:</h4>
<p>Sorry I missed the meeting today. I think we should probably find another time.</p>



<a name="163135471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135471">(Apr 11 2019 at 20:43)</a>:</h4>
<p>cc <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span></p>



<a name="163135521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135521">(Apr 11 2019 at 20:44)</a>:</h4>
<p>But I guess <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and I did a bit of a sync the other day anyhow</p>



<a name="163135542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135542">(Apr 11 2019 at 20:44)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> -- saw your message. One thing that I think would be helpful is to continue some of the work that <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> was doing on trying to find good benchmarks.</p>



<a name="163135567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135567">(Apr 11 2019 at 20:45)</a>:</h4>
<p>I think as we proceed we'll find other good things to split off</p>



<a name="163135593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135593">(Apr 11 2019 at 20:45)</a>:</h4>
<blockquote>
<p>Sorry I missed the meeting today. I think we should probably find another time.</p>
</blockquote>
<p>(this time is often a bit chaotic for me)</p>



<a name="163135617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163135617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163135617">(Apr 11 2019 at 20:45)</a>:</h4>
<p>i presume that by good benchmarks, you mean looking for rust programs that stretches the perf of polonius?</p>



<a name="163139673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163139673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163139673">(Apr 11 2019 at 21:42)</a>:</h4>
<p>yeah so <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> did some work <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/benchmark.20suite" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/benchmark.20suite">in this topic</a> doing a bunch of measurements and categorizing them</p>



<a name="163139679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163139679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163139679">(Apr 11 2019 at 21:42)</a>:</h4>
<p>I think what we want to do is to kind of find some 'good exampes' that fit different definitions</p>



<a name="163139695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163139695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163139695">(Apr 11 2019 at 21:42)</a>:</h4>
<p>i was going to write up some thoughts on how to do this, e.g. one thought I had is to try and make a spreadsheet with like "how many facts of each kind are there"</p>



<a name="163139722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163139722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163139722">(Apr 11 2019 at 21:43)</a>:</h4>
<p>I suspect that some benhcmarks have large number of cfg points, other large numbers of subtype relatons, whatever</p>



<a name="163146405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163146405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163146405">(Apr 11 2019 at 23:29)</a>:</h4>
<p>so, i recall that a couple of the fetch algorithms implemented in servo deals with complicated cases of borrowing</p>



<a name="163157059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163157059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163157059">(Apr 12 2019 at 03:26)</a>:</h4>
<p>i think <a href="https://github.com/servo/servo/blob/master/components/net/fetch/methods.rs#L335-L395" target="_blank" title="https://github.com/servo/servo/blob/master/components/net/fetch/methods.rs#L335-L395">this</a> should be it</p>



<a name="163157140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163157140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163157140">(Apr 12 2019 at 03:28)</a>:</h4>
<p>specifically the assignment to <code>internal_response</code>, based on some other conditions</p>



<a name="163166357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163166357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163166357">(Apr 12 2019 at 07:22)</a>:</h4>
<blockquote>
<p>Sorry I missed the meeting today. I think we should probably find another time.</p>
</blockquote>
<p>yes, with DST it's a bit late for me :(</p>



<a name="163166459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.11/near/163166459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E11.html#163166459">(Apr 12 2019 at 07:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> Also, if you want the things I have made (modifications to rustc-perf, a Jupyter notebook to analyse the results, and my scripts for scraping and compiling crates), just shout!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>